<?php

$url = empty($_GET['url']) ? null : $_GET['url'];

if(empty($url)) {
    exit('No Url');
}

$url = urldecode($url);

if(substr($url, 0, 7) != 'http://'){
    $url = 'http://'. $url;
}

echo <<<EOD
<meta http-equiv="refresh" content="0;URL={$url}" />
EOD;
